Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
KULLMANN, P.; SANDRI, S. An annotated logic theorem prover for an extended possibilistic logic. Fuzzy Sets and Systems, v. 144, n. 1, p. 67-91, May 2004. (INPE-11793-PRE/7152). Disponível em: <http://urlib.net/ibi/6qtX3pFwXQZsFDuKxG/EpVE2>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Kullmann e Sandri (2004).
... pode ser encontrada na literatura (KULLMANN; SANDRI, 2004).